-
1 functional calculus
функциональное исчисление; исчисление предикатов -
2 functional calculus
The English-Russian dictionary general scientific > functional calculus
-
3 functional calculus
Англо-русский словарь технических терминов > functional calculus
-
4 functional calculus
1) функциональное исчисление
2) функциональное исчисление или исчисление предикатов -
5 functional calculus
-
6 functional calculus
-
7 functional calculus
-
8 functional calculus
English-Russian electronics dictionary > functional calculus
-
9 functional calculus
The New English-Russian Dictionary of Radio-electronics > functional calculus
-
10 functional calculus
2) лог. исчисление предикатовEnglish-Russian dictionary of computer science and programming > functional calculus
-
11 functional calculus
English-Russian information technology > functional calculus
-
12 functional calculus
мат. функциональное исчисление, исчисление предикатовThe English-Russian dictionary of geoinformatics > functional calculus
-
13 binary functional calculus
Универсальный англо-русский словарь > binary functional calculus
-
14 pure functional calculus
Математика: чистое функциональное исчислениеУниверсальный англо-русский словарь > pure functional calculus
-
15 binary functional calculus
логикабинарное функциональное исчисление, бинарное исчисление предикатовEnglish-Russian scientific dictionary > binary functional calculus
-
16 pure functional calculus
English-Russian scientific dictionary > pure functional calculus
-
17 calculus
calculus исчислениеextended propositional calculus расширенное пропозициональное исчислениеfunctional calculus функциональное исчислениеmany-valued propositional calculus многозначное пропозициональное исчислениеpredicate calculus исчисление предикатовpropositional calculus пропозициональное исчислениеrestricted predicate calculus узкое исчисление предикатовEnglish-Russian dictionary of biology and biotechnology > calculus
-
18 calculus
-
19 calculus
1) исчисление; дифференциальное исчисление; интегральное исчисление2) вычисление; вычисления•-
Boolean calculus
-
calculus of approximations
-
calculus of classes
-
calculus of enlargement
-
calculus of errors
-
calculus of finite differences
-
calculus of observations
-
calculus of residues
-
calculus of tensors
-
calculus of variations
-
correlation calculus
-
differential calculus
-
functional calculus
-
index calculus
-
integral calculus
-
matrix calculus
-
numerical calculus
-
operational calculus
-
predicate calculus
-
propositional calculus
-
relational calculus
-
sentential calculus
-
tensor calculus -
20 calculus
исчисление
– Boolean calculus
– calculus of probability
– calculus of variations
– differential calculus
– extended calculus
– functional calculus
– infinitesimal calculus
– integral calculus
– logical calculus
– matrix calculus
– operational calculus
– predicate calculus
– problem calculus
– propositional calculus
– sentential calculus
– spinor calculus
– tensor calculus
– vector calculus
one-place predicate calculus — исчисление одноместных предикатов
- 1
- 2
См. также в других словарях:
Functional calculus — In mathematics, a functional calculus is a theory allowing one to apply mathematical functions to mathematical operators. The term was also used previously to refer to the calculus of variations. If f is a function, say a numerical function of a… … Wikipedia
functional calculus — noun a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) • Syn: ↑predicate calculus • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal… … Useful english dictionary
functional calculus of the first order — noun see lower functional calculus … Useful english dictionary
functional calculus of the second order — noun see higher functional calculus … Useful english dictionary
functional calculus — the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers. Also called predicate calculus, predicate logic.… … Universalium
functional calculus — func′tional cal′culus n. math. pho the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers Also called… … From formal English to slang
functional calculus — noun Date: 1933 predicate calculus … New Collegiate Dictionary
Holomorphic functional calculus — In mathematics, holomorphic functional calculus is functional calculus with holomorphic functions. That is to say, given a holomorphic function fnof; of a complex argument z and an operator T , the aim is to construct an operator:f(T),which in a… … Wikipedia
Borel functional calculus — In functional analysis, a branch of mathematics, the Borel functional calculus is a functional calculus (that is, an assignment of operators from commutative algebras to functions defined on their spectrum), which has particularly broad… … Wikipedia
Continuous functional calculus — In mathematics, the continuous functional calculus of operator theory and C* algebra theory allows applications of continuous functions to normal elements of a C* algebra. More precisely, Theorem. Let x be a normal element of a C* algebra A with… … Wikipedia
higher functional calculus — noun : functional calculus in which quantification is applied not only to individual variables but also to functional and propositional variables called also functional calculus of the second order … Useful english dictionary